basic constructions:
strong axioms
further
This page collects material related to the book
William Lawvere, Robert Rosebrugh,
Sets for Mathematics,
Cambridge UP 2003.
which introduces set theory and the foundations of mathematics from a practical and category theoretic point of view known as structural set theory (“informal ETCS”).
Practical Foundations of Mathematics
(web)
Practical Foundations for Programming Languages,
Cambridge University Press (2016), (webpage)
Last revised on April 19, 2023 at 09:38:17. See the history of this page for a list of all contributions to it.